\begin{tabbing}
$\forall$\=$A$:Type, $l$:IdLnk, ${\it tg}$:Id, ${\it ds}$:$x$:Id fp$\rightarrow$ Type,\+
\\[0ex]${\it conds}$:$k$:Knd fp$\rightarrow$ $V$:Type $\times$ (State(${\it ds}$)$\rightarrow$$V$$\rightarrow$($A$ + Top)).
\-\\[0ex]($\forall$$k$:Knd. ($\uparrow$$k$ $\in$ dom(${\it conds}$)) $\Rightarrow$ ($\uparrow$hasloc($k$;source($l$))))
\\[0ex]$\Rightarrow$ (triggersGlue($A$; $l$; ${\it tg}$; ${\it ds}$; ${\it conds}$) $\in$ Realizer)
\end{tabbing}